float to int convertion in php